Results for 'Maarten Wicher Visser Bunder'

992 found
Order:
  1. Set theory based on combinatory logic.Maarten Wicher Visser Bunder - 1969 - Groningen,: V. R. B. --Offsetdrukkerij (Kleine der A 3-4).
     
    Export citation  
     
    Bookmark   1 citation  
  2.  26
    Set Theory based on Combinatory Logic.Jonathan P. Seldin & Maarten Wicher Visser Bunder - 1970 - Journal of Symbolic Logic 35 (1):147.
  3.  14
    Maarten Wicher Visser Bunder. Set theory based on combinatory logic. Dissertation Amsterdam 1969, 80 pp. + 3 pp. of corrections. [REVIEW]Jonathan P. Seldin - 1970 - Journal of Symbolic Logic 35 (1):147-148.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  51
    A note on the interpretability logic of finitely axiomatized theories.Maarten Rijke - 1991 - Studia Logica 50 (2):241 - 250.
    In [6] Albert Visser shows that ILP completely axiomatizes all schemata about provability and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called ILP that completely axiomatizes the arithmetically valid principles of provability in and interpretability over such theories. To prove the arithmetical completeness of ILP we use a suitable kind of tail models; as a byproduct we obtain a somewhat modified proof of Visser's completeness result.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  16
    A note on the interpretability logic of finitely axiomatized theories.Maarten de Rijke - 1991 - Studia Logica 50 (2):241-250.
    In [6] Albert Visser shows that ILP completely axiomatizes all schemata about provability and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called $\text{ILP}^{\omega}$ that completely axiomatizes the arithmetically valid principles of provability in and interpretability over such theories. To prove the arithmetical completeness of $\text{ILP}^{\omega}$ we use a suitable kind of tail models; as a byproduct we obtain a somewhat modified proof of Visser's completeness result.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  30
    Micro-Level Affect Dynamics in Psychopathology Viewed From Complex Dynamical System Theory.M. Wichers, J. T. W. Wigman & I. Myin-Germeys - 2015 - Emotion Review 7 (4):362-367.
    This article discusses the role of moment-to-moment affect dynamics in mental disorder and aims to integrate recent literature on this topic in the context of complex dynamical system theory. First, we will review the relevance of temporal and contextual aspects of affect dynamics in relation to psychopathology. Related to this, we will discuss recent insights resulting from a network view on affect dynamics in psychopathology. Next, we explore how we can reconcile literature findings from a perspective of complex dynamical system (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  7.  11
    Essential hereditary undecidability.Albert Visser - 2024 - Archive for Mathematical Logic 63 (5):529-562.
    In this paper we study essential hereditary undecidability. Theories with this property are a convenient tool to prove undecidability of other theories. The paper develops the basic facts concerning essentially hereditary undecidability and provides salient examples, like a construction of essentially hereditarily undecidable theories due to Hanf and an example of a rather natural essentially hereditarily undecidable theory strictly below. We discuss the (non-)interaction of essential hereditary undecidability with recursive boolean isomorphism. We develop a reduction relation essential tolerance, or, in (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  66
    Rules and Arithmetics.Albert Visser - 1999 - Notre Dame Journal of Formal Logic 40 (1):116-140.
    This paper is concerned with the logical structure of arithmetical theories. We survey results concerning logics and admissible rules of constructive arithmetical theories. We prove a new theorem: the admissible propositional rules of Heyting Arithmetic are the same as the admissible propositional rules of Intuitionistic Propositional Logic. We provide some further insights concerning predicate logical admissible rules for arithmetical theories.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  9.  14
    Sustaining the Integration of Social Objectives Over Time: A Case-Based Analysis of Access to Medicine in the Pharmaceutical Industry.Tobias Bünder, Nikolas Rathert & Johanna Mair - 2024 - Business and Society 63 (5):1110-1148.
    Companies increasingly seek to strategically integrate social objectives in commercial activities to address societal challenges, yet little is known about how companies can sustain such a commitment over time. To address this question, we conduct a case-based, abductive study of two pharmaceutical companies widely considered industry leaders in facilitating access to medicine over a 20-year period (2000–2019). We identify product and operation-level integration as distinct types of integration efforts enacted by these companies. Tracing the intraorganizational dynamics associated with these efforts, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  25
    Annotating Argument Schemes.Jacky Visser, John Lawrence, Chris Reed, Jean Wagemans & Douglas Walton - 2020 - Argumentation 35 (1):101-139.
    Argument schemes are abstractions substantiating the inferential connection between premise(s) and conclusion in argumentative communication. Identifying such conventional patterns of reasoning is essential to the interpretation and evaluation of argumentation. Whether studying argumentation from a theory-driven or data-driven perspective, insight into the actual use of argumentation in communicative practice is essential. Large and reliably annotated corpora of argumentative discourse to quantitatively provide such insight are few and far between. This is all the more true for argument scheme corpora, which tend (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  11. Equivalences between Pure Type Systems and Systems of Illative Combinatory Logic.M. W. Bunder & W. J. M. Dekkers - 2005 - Notre Dame Journal of Formal Logic 46 (2):181-205.
    Pure Type Systems, PTSs, were introduced as a generalization of the type systems of Barendregt's lambda cube and were designed to provide a foundation for actual proof assistants which will verify proofs. Systems of illative combinatory logic or lambda calculus, ICLs, were introduced by Curry and Church as a foundation for logic and mathematics. In an earlier paper we considered two changes to the rules of the PTSs which made these rules more like ICL rules. This led to four kinds (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  47
    Minimum presentation time for masked facial expression discrimination.Maarten Milders, Arash Sahraie & Sarah Logan - 2008 - Cognition and Emotion 22 (1):63-82.
  13.  30
    Variable binding term operators in $\lambda $-calculus.M. W. Bunder - 1979 - Notre Dame Journal of Formal Logic 20 (4):876-878.
  14. Utrecht, The Netherlands, August 1–6, 1999.Maarten de Rijke Pauly, Frans Snijders & Yde Venema - 2000 - Bulletin of Symbolic Logic 6 (1).
     
    Export citation  
     
    Bookmark  
  15.  15
    Phenomenology and psychoanalysis on the mirror stage.David Van Bunder & Gertrudis Van de Vijver - 2005 - In Helena de Preester & Veroniek Knockaert (eds.), Body image and body schema. John Benjamins. pp. 253.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  16
    Griselda’s Afterlife, or the Relationship between Shakespeare’s The Winter’s Tale, Chaucer’s The Clerk’s Tale and the Tale of Magic.Andrzej Wicher - 2021 - Text Matters - a Journal of Literature, Theory and Culture 11:334-352.
    Some influence of Chaucer’s The Clerk’s Tale, also known as the story of the patient Griselda, on Shakespeare, and particularly on The Winter’s Tale, has long been recognized. It seems, however, that the matter deserves further attention because the echoes of The Clerk’s Tale seem scattered among a number of Shakespeare’s plays, especially the later ones. The experimental nature of this phenomenon consists in the fact that Griselda-like characters do not strike the reader, especially perhaps the Renaissance reader, as good (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  10
    Geoffrey Chaucer’s The Merchant’s Tale, Giovanni Boccaccio’s The Tale of the Enchanted Pear-Tree, and Sir Orfeo Viewed as Eroticized Versions of the Folktales about Supernatural Wives.Andrzej Wicher - 2013 - Text Matters - a Journal of Literature, Theory and Culture 3 (3):42-57.
    Two of the tales mentioned in the title are in many ways typical of the great collections of stories to which they belong. What makes them conspicuous is no doubt the intensity of the erotic desire presented as the ultimate law which justifies even the most outrageous actions. The cult of eroticism is combined there with a cult of youth, which means disaster for the protagonists, who try to combine eroticism with advanced age. And yet the stories in question have (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  18.  18
    Porównanie koncepcji Nowomowy w powieści Rok 1984 George’a Orwella ze sposobem myślenia o języku w powieści Ta ohydna siła C.S. Lewisa.Andrzej Wicher - 2020 - Acta Universitatis Lodziensis. Folia Litteraria Polonica 58 (3):477-498.
    The aim of the article is to investigate some of the possible sources of inspiration for Orwell’s concept of the artificial language called Newspeak, which, in his novel Nineteen Eighty-Four, is shown as an effective tool of enslavement and thought control in the hands of a totalitarian state. The author discusses, in this context, the putative links between Newspeak and really existing artificial languages, first of all Esperanto, and also between Orwell’s notion of “doublethink”, which is an important feature of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  61
    Another look at the second incompleteness theorem.Albert Visser - 2020 - Review of Symbolic Logic 13 (2):269-295.
    In this paper we study proofs of some general forms of the Second Incompleteness Theorem. These forms conform to the Feferman format, where the proof predicate is fixed and the representation of the set of axioms varies. We extend the Feferman framework in one important point: we allow the interpretation of number theory to vary.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  20.  61
    Genericity generalized.Alnica Visser - 2022 - Philosophical Studies 180 (3):703-723.
    In his _Between Logic and the World_, in the course of presenting his theory of generics, Nickel (Between logic and the world, Oxford University Press, 2016) argues for a theory of characteristicness, or “genericity”, which states that a property is characteristic for a kind if and only if its presence among the members of that kind is explicable by some explanatory domain that recognizes the existence of that kind in the course of engaging the explanatory strategies made available by that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  67
    Anselm.Sandra Visser & Thomas Williams - 2009 - New York: Oxford University Press. Edited by Thomas Williams.
    The reason of faith -- Thought and language -- Truth -- The Monologion arguments for the existence of God -- The Proslogion argument for the existence of God -- The divine attributes -- Thinking and speaking about God -- Creation and the word -- The Trinity -- Modality -- Freedom -- Morality -- Incarnation and atonement -- Original sin, grace, and salvation.
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  22.  14
    Electrocorticography of Spatial Shifting and Attentional Selection in Human Superior Parietal Cortex.Maarten Schrooten, Eshwar G. Ghumare, Laura Seynaeve, Tom Theys, Patrick Dupont, Wim Van Paesschen & Rik Vandenberghe - 2017 - Frontiers in Human Neuroscience 11.
  23.  68
    Dynamic Bracketing and Discourse Representation.Albert Visser & Kees Vermeulen - 1996 - Notre Dame Journal of Formal Logic 37 (2):321-365.
    In this paper we describe a framework for the construction of entities that can serve as interpretations of arbitrary contiguous chunks of text. An important part of the paper is devoted to describing stacking cells, or the proposed meanings for bracket-structures.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  24.  71
    Peano's smart children: a provability logical study of systems with built-in consistency.Albert Visser - 1989 - Notre Dame Journal of Formal Logic 30 (2):161-196.
  25. An Overview of Interpretability Logic.Albert Visser - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 307-359.
    No categories
     
    Export citation  
     
    Bookmark   17 citations  
  26. An Overview of Interpretability Logic.Albert Visser - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 307-359.
    No categories
     
    Export citation  
     
    Bookmark   17 citations  
  27.  45
    Citizen radicalism and democracy in the Dutch Republic.Maarten Prak - 1991 - Theory and Society 20 (1):73-102.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  16
    Down to Earth: History and philosophy of geoscience in practice for undergraduate education.Maarten G. Kleinhans - 2021 - European Journal for Philosophy of Science 11 (3):1-15.
    Undergraduate geoscience students are rarely exposed to history and philosophy of science. I will describe the experiences with a short course unfavourably placed in the first year of a bachelor of earth science. Arguments how HPS could enrich their education in many ways are sketched. One useful didactic approach is to develop a broader interest by connecting HPS themes to practical cases throughout the curriculum, and develop learning activities that allow students to reflect on their skills, methods and their field (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  21
    Recognition and Work in the Platform Economy: a Normative Reconstruction.Max Visser & Thomas C. Arnold - 2021 - Philosophy of Management 21 (1):31-45.
    The rise of the platform economy in the past two decades (and neoliberal capitalist expansion and crises more in general), have on the whole negatively affected working conditions, leading to growing concerns about the “human side” of organizations. To address these concerns, the purpose of this paper is to apply Axel Honneth’s recognition theory and method of normative reconstruction to working conditions in the platform economy. The paper concludes that the ways in which platform organizations function constitutes a normative paradox, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30. Correspondence Between th Pragma-Dialectical Disussion Model and the Argument Interchange Format.Jacky Visser, Floris Bex, Chris Reed & Bart Garssen - 2011 - Studies in Logic, Grammar and Rhetoric 23 (36).
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
  31.  17
    The small‐is‐very‐small principle.Albert Visser - 2019 - Mathematical Logic Quarterly 65 (4):453-478.
    The central result of this paper is the small‐is‐very‐small principle for restricted sequential theories. The principle says roughly that whenever the given theory shows that a definable property has a small witness, i.e., a witness in a sufficiently small definable cut, then it shows that the property has a very small witness: i.e., a witness below a given standard number. Which cuts are sufficiently small will depend on the complexity of the formula defining the property. We draw various consequences from (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32. De filosofie van het Belcampisme.Schönfeld Wichers & Herman[From Old Catalog] - 1972 - Amsterdam,: Kosmos.
    No categories
     
    Export citation  
     
    Bookmark  
  33.  7
    In a world where ends collide—Romantic discrepancies in the thought of Isaiah Berlin.Andrezej Wicher - 1995 - History of European Ideas 20 (1-3):375-381.
  34. Podstawy teologii moralnej.Wladyslaw Wicher - 1969 - Poznań: Ksieg. sw. Wojciecha.
     
    Export citation  
     
    Bookmark  
  35.  20
    The “Ladder” of signification in Walter Hilton's “ladder of perfection”.Andrzej Wicher - 1997 - The European Legacy 2 (4):787-792.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  26
    Wawel Meets Elsinore. The National and Universal Aspects of Stanisław Wyspiański’s Vision of Shakespeare’s Hamlet.Andrzej Wicher - 2017 - Text Matters - a Journal of Literature, Theory and Culture 7 (7):214-238.
    The aim of this paper is to show the role, the possibilities and the limits of Wyspiański’s national thinking through Shakespeare’s Hamlet. Of particular importance, in this context, is the role the Ghost takes in Wyspiański’s celebrated interpretation of Shakespeare’s Hamlet. By the Ghost we mean the spirit of history, the ghost of a father, the spirit of the fatherland, the voice of the ancestors, and particularly that of the Polish king Casimir the Great, as well as the Holy Ghost (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37.  32
    The logic of Peirce algebras.Maarten Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
    Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This paper offers a modal perspective on Peirce algebras. Using modal logic as a characterization of the full Peirce algebras is given, as well as a finite axiomatization of their equational theory that uses so-called unorthodox derivation rules. In addition, the expressive power of Peirce algebras is analyzed through their connection with first-order logic and the fragment of first-order logic corresponding to Peirce algebras is described (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38.  27
    Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras.Maarten De Rijke & Yde Venema - 1995 - Studia Logica 54 (1):61 - 78.
    For an arbitrary similarity type of Boolean Algebras with Operators we define a class of Sahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities are canonical, that is, their validity is preserved under taking canonical (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  39.  10
    Persistent farmland imaginaries: celebration of fertile soil and the recurrent ignorance of climate.Oane Visser - 2020 - Agriculture and Human Values 38 (1):313-326.
    This article looks at how imaginaries of land and climate play a role in farmland investment discourses and practices. Foreign farmland investors in the fertile black earth region of Russia and Ukraine have ‘celebrated’ soil fertility while largely ignoring climatic factors. The article shows a centuries-long history of outsiders coming to the region lured by the fertile soils, while grossly underestimating climate which has had disastrous implications for farm viability and the environment. Comparisons with historical and contemporary literature on other (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Philosophy of technology.Maarten Franssen - 2010 - Stanford Encyclopedia of Philosophy.
  41.  11
    Philosophy of Earth Science.Maarten G. Kleinhans, Chris J. J. Buskes & Henk W. de Regt - 2010-01-04 - In Fritz Allhoff (ed.), Philosophies of the Sciences. Wiley‐Blackwell. pp. 213–236.
    This chapter contains sections titled: Introduction Object and Aims of Earth Science The Autonomy of Earth Science Explanation in Earth Science Conclusion Acknowledgment References.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  42.  14
    Differences in Learning Characteristics Between Students With High, Average, and Low Levels of Academic Procrastination: Students’ Views on Factors Influencing Their Learning.Lennart Visser, Fred A. J. Korthagen & Judith Schoonenboom - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  91
    Terra incognita: Explanation and reduction in earth science.Maarten G. Kleinhans, Chris J. J. Buskes & Henk W. de Regt - 2005 - International Studies in the Philosophy of Science 19 (3):289 – 317.
    The present paper presents a philosophical analysis of earth science, a discipline that has received relatively little attention from philosophers of science. We focus on the question of whether earth science can be reduced to allegedly more fundamental sciences, such as chemistry or physics. In order to answer this question, we investigate the aims and methods of earth science, the laws and theories used by earth scientists, and the nature of earth-scientific explanation. Our analysis leads to the tentative conclusion that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  44.  32
    The false fame illusion in people with memories about a previous life.Maarten J. V. Peters, Robert Horselenberg, Marko Jelicic & Harald Merckelbach - 2007 - Consciousness and Cognition 16 (1):162-169.
    The present study examined whether individuals with full-blown memories of highly implausible events are prone to commit source monitoring errors. Participants reporting previous-life memories and those without such memories completed a false fame task. This task provides an index of source monitoring errors . Participants with previous-life memories had a greater tendency to judge the names of previously presented non-famous people as famous than control participants. The two groups did not differ in terms of correct recognition of new non-famous names (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  46
    Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.
    Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi ...
  46. Must naive realists be relationalists?Maarten Steenhagen - 2019 - European Journal of Philosophy 27 (4):1002-1015.
    Relationalism maintains that perceptual experience involves, as part of its nature, a distinctive kind of conscious perceptual relation between a subject of experience and an object of experience. Together with the claim that perceptual experience is presentational, relationalism is widely believed to be a core aspect of the naive realist outlook on perception. This is a mistake. I argue that naive realism about perception can be upheld without a commitment to relationalism.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  47. False reflections.Maarten Steenhagen - 2017 - Philosophical Studies 174 (5):1227-1242.
    Philosophers and psychologists often assume that mirror reflections are optical illusions. According to many authors, what we see in a mirror appears to be behind it. I discuss two strategies to resist this piece of dogma. As I will show, the conviction that mirror reflections are illusions is rooted in a confused conception of the relations between location, direction, and visibility. This conception is unacceptable to those who take seriously the way in which mirrors contribute to our experience of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  48.  38
    Substitutions of Σ10-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic.Albert Visser - 2002 - Annals of Pure and Applied Logic 114 (1-3):227-271.
    This paper is concerned with notions of consequence. On the one hand, we study admissible consequence, specifically for substitutions of Σ 1 0 -sentences over Heyting arithmetic . On the other hand, we study preservativity relations. The notion of preservativity of sentences over a given theory is a dual of the notion of conservativity of formulas over a given theory. We show that admissible consequence for Σ 1 0 -substitutions over HA coincides with NNIL -preservativity over intuitionistic propositional logic . (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  49.  56
    The normativity of artefacts.Maarten Franssen - 2006 - Studies in History and Philosophy of Science Part A 37 (1):42-57.
    Part of the distinction between artefacts, objects made by humans for particular purposes, and natural objects is that artefacts are subject to normative judgements. A drill, say, can be a good drill or a poor drill, it can function well or correctly or it can malfunction. In this paper I investigate how such judgements fit into the domain of the normative in general and what the grounds for their normativity are. Taking as a starting point a general characterization of normativity (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  50.  79
    The Learning Society and Governmentality: An introduction.Maarten Simons & Jan Masschelein - 2006 - Educational Philosophy and Theory 38 (4):417-430.
    This paper presents an overview of the elements which characterize a research attitude and approach introduced by Michel Foucault and further developed as ‘studies of governmentality’ into a sub‐discipline of the humanities during the past decade, including also applications in the field of education. The paper recalls Foucault's introduction of the notion of ‘governmentality’ and its relation to the ‘mapping of the present’ and sketches briefly the way in which the studies of governmentality have been elaborated in general and in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
1 — 50 / 992